max

The maximum value of a NonZeroInt.